Nuprl Definition : surject 13,42

Surj(A;B;f) == b:Ba:A. (f(a) = b
latex



clarification:

Surj(A;B;f) == b:Ba:A. (f(a) = b  B
latex


Upfun 1, fun 1
Wellformedness Lemmassurject wf, surject wf
Definitionsx:AB(x), x:AB(x), s = t, f(a)
FDL editor aliasessurject

origin